bool_thms 9,38

================
GENERAL THEOREMS
================


origin